Interpolation theory - PDFSEARCH.IO - Document Search Engine

Interpolation theory
Results: 183

#	Item
41	Interpolation for Data Structures ∗ Deepak Kapur Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2009-06-21 20:13:07 Predicate logic Metalogic Formal languages Semantics First-order logic Interpretation Quantifier elimination Well-formed formula Quantification Logic Mathematical logic Model theory
42	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
43	BMC Bioinformatics BioMed Central Open Access Add to Reading List Source URL: www.scienion.com Language: English - Date: 2013-05-13 07:21:16 Covariance and correlation Splines Randomness Mutual information Correlation and dependence Entropy B-spline Pearson product-moment correlation coefficient Histogram Statistics Interpolation Information theory
44	CCCG 2010, Winnipeg MB, August 9–11, 2010 Finding Minimal Bases in Arbitrary Spline Spaces Ana Paula Resende Malheiro∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:17 Splines Linear algebra Matroid theory Basis Matroid Vector space B-spline Cubic Hermite spline Algebra Mathematics Interpolation
45	Trinity College Dublin MorphOSC- A Toolkit for Building Sound Control GUIs with Preset Interpolation Liam O’Sullivan Electronic & Electrical Engineering, Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2013-05-21 07:03:45 Waves Bass Hip hop New Wave music Synthesizer Control theory Music Electronic musical instruments Sound
46	Estimation of a k-monotone density: limit distribution theory and the spline connection Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2008-01-22 11:41:10 Maximum likelihood Statistical theory Statistics Splines Signal processing Applied mathematics Estimation theory M-estimators Interpolation
47	Error Invariants Evren Ermis1 , Martin Sch¨af2? , and Thomas Wies3 1 2 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2012-06-06 07:57:01 Matrix theory Trace First-order logic Interpolation Symbol Μ operator Mathematics Logic Linear algebra
48	Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:18 Model theory Automated theorem proving Boolean algebra Resolution Interpolation First-order logic Interpretation Unsatisfiable core Atomic formula Logic Mathematical logic Propositional calculus
49	Hyperbolic Interpolation and Iteration towards a Zero File: 9Sep09 Version dated September 16, 2009 6:48 am Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2009-09-16 09:49:40 Mathematical physics Matrix theory Linear algebra IEEE standards Floating point Eigenvalues and eigenvectors Rounding Interpolation IEEE 754-2008 Algebra Mathematics Computer arithmetic
50	Digitales Video 4. IMAGE RESAMPLING 4.1. INTRODUCTION Image resampling is the process of transforming a sampled image from one coordinate system to another. The two coordinate systems are related to each other by the ma Add to Reading List Source URL: www.ldv.ei.tum.de Language: English - Date: 2015-03-24 06:02:05 Electronic engineering Applied mathematics Image processing Linear filters Reconstruction filter Spatial anti-aliasing Sinc filter Image scaling Interpolation Digital signal processing Signal processing Filter theory